формальный терм

См. также в других словарях:

• ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

• Тунис (<<государство>>) — Тунис (государство) Тунис государство в Северной Африке. Общая площадь страны составляет 163 тысяч кв.км. Столица город Тунис (см. Тунис (город)). Население Туниса составляет 10,2 млн. человек. 98% населения исповедуют ислам. Государственными… …   Географическая энциклопедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• Вандемьерский мятеж — Вандемьерский мятеж  вооруженное выступление роялистов в Париже 3 5 октября (11 13 вандемьера) 1795 года. Был одним из проявлений термидорианской реакции, восторжествовавшей после контрреволюции термидорианского переворота (27 июля 1794… …   Википедия

• Соединённые Штаты Америки — (США)         (United States of America, USA).          I. Общие сведения          США государство в Северной Америке. Площадь 9,4 млн. км2. Население 216 млн. чел. (1976, оценка). Столица г. Вашингтон. В административном отношении территория США …   Большая советская энциклопедия

• Филология — при делении наук на математические, естественные и науки о духе делении, пользующемся наибольшим авторитетом в настоящее время, ясно, что Ф. должна принадлежать к последней из этих трех категорий. Науки, посвященные изучению человеческого духа,… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

• ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …   Философская энциклопедия

• НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ — (исчисление естественного в ы в о д а) – общее название логич. исчислений [введенных и впервые описанных нем. логиком и математиком Г. Генценом (1934) и польским логиком С. Яськовским (1934) с целью формализации процесса логич. вывода ], более… …   Философская энциклопедия

• Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …   Википедия

• Моделей теория — Теория моделей  это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… …   Википедия